منابع مشابه
GPS/INS Integration for Vehicle Navigation based on INS Error Analysis in Kalman Filtering
The Global Positioning System (GPS) and an Inertial Navigation System (INS) are two basic navigation systems. Due to their complementary characters in many aspects, a GPS/INS integrated navigation system has been a hot research topic in the recent decade. The Micro Electrical Mechanical Sensors (MEMS) successfully solved the problems of price, size and weight with the traditional INS. Therefore...
متن کاملINS/GPS Tightly Coupled Approach Using an INS Error Predictor
In this paper, the tightly coupled INS/GPS integration system using an INS error predictor is proposed for improving the filter estimation performance when fewer than four satellites are tracked. The suggested error predictor stores the estimated position error in case of tracking above four satellites and calculates the initial error components for prediction of Schuler position error when few...
متن کاملIns - R 9703 1997
The paper presents a simple format for typed logics with states by adding a function for register update to standard typed lambda calculus. It is shown that universal validity of equality for this extended language is decidable (extending a well-known result of Friedman for typed lambda calculus). This system is next extended to a full edged typed dynamic logic, and it is illustrated how the re...
متن کاملGps/ins System Integration
In this paper, a technique for error estimation in a global positioning system and inertial navigation system (GPS/INS system) based on a low-cost inertial measurement unit (IMU) is offered. This technique is composed of Wavelet Transform (WT) and Adaptive Fuzzy System (AFS). The wavelet decomposition is used to de-noise the position and velocity components of the GPS and INS outputs. An AFS is...
متن کاملIns-Robust Primitive Words
Let Q be the set of primitive words over a finite alphabet with at least two symbols. We characterize a class of primitive words, QI , referred to as ins-robust primitive words, which remain primitive on insertion of any letter from the alphabet and present some properties that characterizes words in the set QI . It is shown that the language QI is dense. We prove that the language of primitive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Kanonistische Abteilung
سال: 1918
ISSN: 2304-4896,0323-4142
DOI: 10.7767/zrgka.1918.8.1.221